WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation

نویسندگان

  • Marcilia A. Campos
  • Erich-Peter Klement
  • Vladik Kreinovich
چکیده

On August 7-8, 1996, the second Workshop on Computer Arithmetic, Interval and Symbolic Computation was held in Recife, Brazil. The main purpose of the workshop was to bring together researchers interested in scientific computation and related topics and to present and discuss recent advances in this branch of computer science and its applications. Total about 27 talks and 10 posters were presented. 81 participants fi'om 8 countries (Brazil, France, Germany, Mexico, Portugal, Russia, Switzerland and the USA) attended the workshop. The major topics of interest included but were not limited to: theoretical foundations of the computational arithmetic, interval algorithms, interval arithmetic co-processors, interval probability, programming languages for scientific co,nputation, tools for scientific computation and symbolic computation. The workshop was held on the campus of the Federal University of Pernambuco. It was a part of the largest annual event in computer science in Brazil, the XVI Meeting of the Brazilian Computing Society. The XVI SBC, on August 4-9, 1996, attracted 1500 participants and accommodated a wide variety of events in computer science.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computer Algebra Support for the Completed Set of Intervals

Being algebraic completion of the conventional interval arithmetic, the arithmetic on extended (proper and improper) intervals possesses group and other algebraic properties suitable for implementation in computer algebra systems. We give an overview of a Mathematica package directed.m supporting the completed set of intervals and discuss the bene ts, provided by this package, for doing numeric...

متن کامل

Simplification of Symbolic-Numerical Interval Expressions∗

Although interval arithmetic is increasingly used in combination with computer algebra and other methods, both approaches — symbolic-algebraic and interval-arithmetic — are used separately. Implementing symbolic interval arithmetic seems not suitable due to the exponential growth in the “size” of the end-points. In this paper we propose a methodology for “true” symbolic-algebraic manipulations ...

متن کامل

Interval Arithmetic for Maxima: Executive Summary

This is a short introduction to an implementation of interval arithmetic data structures and operations for the Maxima computer algebra system. We expect that further algorithms necessary to implement the forthcoming IEEE 1788 standard for interval arithmetic can be readily fit into this structure.

متن کامل

Interval Arithmetic for Maxima: A Brief Summary

This is a short introduction to an implementation of interval arithmetic data structures and operations for the Maxima computer algebra system. We expect that further algorithms necessary to implement the forthcoming IEEE 1788 standard for interval arithmetic can be readily fit into this structure.

متن کامل

Computation with the Extended Rational Numbers and an Application to Interval Arithmetic

Programming languages such as Common Lisp and virtu ally every computer algebra system CAS support exact arbitrary precision integer arithmetic as well as exact ra tional number computation Several CAS include interval arithmetic directly but not in the extended form indicated here We explain why changes to the usual rational number system to include in nity and not a number may be use ful espe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Reliable Computing

دوره 2  شماره 

صفحات  -

تاریخ انتشار 1996